06361 Abstracts Collection -- Computing Media Languages for Space-Oriented Computation

From 03.09.06 to 08.09.06, the Dagstuhl Seminar 06361 ``Computing Media and Languages for Space-Oriented Computation\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Variable elimination for building interpreters

In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (the language which is used to build the interpreter). In order to transform user-defined functions into host language functions we use combinatory logic : lambda-abstractions are transformed into a composition of combinators. We provide a mechanically checked proof that this step is correct for the call-by-value strategy with imperative features.Comment: 33 page

Bell, a textual language for the bach library

International audienceIn this paper we introduce bell, a new, small programming language included in the bach package for Max. The main design goals of bell are ease of integration with Max and bach and maximum compatibility with pre-existing syntaxes and conventions bach users are already acquainted to. The language is mainly exposed in Max through a new object named bach.eval, but other, older objects have been updated so as to take advantage of it. In this article, we shall discuss the main choices underlying the development of bell, and give a brief outline of its syntax and the way it integrates within Max

Rencontres nationales des systèmes complexes 2012 - Entretiens de Sète: compte-rendu des journées d'étude du RNSC

[Departement_IRSTEA]Territoires [TR1_IRSTEA]DTAM [Axe_IRSTEA]DTAM1-REPRO [Axe_IRSTEA]DTAM2-ACPUB [Axe_IRSTEA]DTAM-QT2-ADAPTATIONNational audienceReview of a conference held at Université d'Orléans the 6-8 sept 2012, focussed on the treatment of environmental stakes by francophone geographers

Time, timelines, cuelists and clotheslines in mixed music.

Séminaire « Histoire et Philosophie de l’informatique et du calcul » MESHS Lille. (présentation de une heure)The term mixed music refers to musical works that combine classical instruments and electronic sounds. Mixed music renews musical problems, in particular those related to music as a performance and musical performance as a collective process.The first point refers to the distinction between a score and its interpretation. Unlike a computer program and its mechanical execution, a score leaves a space of freedom to the performer whose choices will complete, refine and transmit the meanings of the musical material. These choices are guided by instrumental practice, history and musical culture, but also because music is played by humans and the collective dynamics greatly influence these performance decisions.The computer does not have these cultural references. Is it then possible for it to interpret an electronic score in accordance with the musicians' performance?Our presentation will focus on the temporal aspect of the musical performance : how to reconcile and tune the time of man and the time of the machine in mixed music. We will build on the results of the Antescofo system used at IRCAMc o implement several mixed music pieces. At the core of the Antescofo system, lies a very rich dynamic and interactive representation of time, which is organized like a clothesline with singular events (the clothespins) and elastic continuities between them

Programming in style with bach

ISBN 979-10-97-498-01-6. A post-proceeding version is planed at LNCS Springer. The proceedings are available at URL: https://cmmr2019.prism.cnrs.fr/Docs/Proceedings_CMMR2019.pdfInternational audienceDifferent programming systems for computer music are based upon seemingly similar, but profoundly different, programming paradigms. In this paper, we shall discuss some of them, with particular reference to computer-aided composition systems and Max. We shall subsequently show how the bach library can support different programming styles within Max, improving the expression, the readability and the maintainance of complex algorithms. In particular, the forthcoming version of bach introduces bell, a small textual programming language embedded in Max and specifically designed to facilite programming tasks related to manipulation of symbolic musical material

Specification of a reactive computation model for OpenMusic

OpenMusic is a domain-specific visual programming language designed for computer-aided music composition. This language based on Common Lisp allows composers to develop functional processes generating or transforming musical data, and to execute them locally by demand-driven evaluations. This transformational declarative paradigm is hard to conciliate with reactive data-flow, an evaluation scheme more adequate to develop interactive systems that can be used during musical performances. In this article we propose to link these two evaluation paradigms in a same and consistent visual programming framework. In this report we establish a denotational semantics of the visual language, which gives account for its demand-driven evaluation mechanism and the incremental construction of programs. We then extend this semantics to enable reactive computations in the functional graphs. The resulting evaluation model merges data-driven executions with the exist- ing demand-driven mechanism. A conservative implementation is proposed. We show that the incremental construction of programs and their data-driven and demand-driven evaluations can be smoothly integrated in the visual programming workflow. This integration allows for the propagation of changes in the programs, and the evaluation of graphically-designed functional expressions as a response to external events, a first step in bridging the gap between computer-assisted composition environments and real-time musical systems. This work has been partially funded by ANR project INEDIT (ANR-12-CORD-0009). The core content of this report will be published in the Journal of Visual Languages and Computing, although we give some additional precisions here that do not appear in the article. The journal version will include a more detailed presentations of the problematic

Synchronization in Music Group Playing

- electronic proceedings available at http://cmr.soc.plymouth.ac.uk/cmmr2015/proceedings.pdf-- paper proceedings published by Springer in the LNCS series, in 2016- the article win the best student presentationInternational audienceIn this project, we created an agent-based model of music group playing under four di↵erent interaction mechanisms. Based on real music data, added randomness and simplifying assumptions, we examine how agents synchronize and deviate from the original score. We find that while music can make synchronization complex, it also helps reducing the total deviation. By studying the simulation process, several conclusions on the relationship between di↵erent growing speeds of total deviations and di↵erent interaction schemes are drawn. With interpretation from a musical point of view, we find that, in a music ensemble, listening to neighbors helps the players end up in sync. However, if people do not listen carefully enough, the deviation becomes larger than when people do not listen at all. On the issue of whom one should listen to, the results show no significant di↵erences between listening to the immediate neighbors and to the whole group. Finally, we also observe that large deviations can be reduced by making the musicians move while playing

Rewriting Systems and the Modelling of Biological Systems

This paper gives a brief survey of the use of algebraic rewriting systems for modelling and simulating various biological processes, particularly at the cellular level

Real-Time Matching of Antescofo Temporal Patterns

International audienceThis paper presents Antescofo temporal patterns (ATP) and their online matching. Antescofo is a real-time system for performance coordination between musicians and computer processes during live music performance. ATP are used to define complex events that correspond to a combination of perceived events in the musical environment as well as arbitrary logical and metrical temporal conditions. The real time recognition of such event is used to trigger arbitrary actions in the style of event-condition-action rules. The musical context, the rationales of temporal patterns and several illustrative examples are introduced to motivate the design of ATP. The semantics of ATP matching is defined to parallel the well- known notion of regular expression and Brzozowski's derivatives but extended to handle an infinite alphabet, arbitrary predicates, elapsing time and inhibitory conditions. This approach is compared to those developed in log auditing and for the runtime verification of real-time logics. ATP are implemented by translation into a core subset of the Antescofo domain specific language. This compilation has proven efficient enough to avoid the extension of the real-time runtime of the language and has been validated with composers in actual pieces